Modal algebra - PDFSEARCH.IO - Document Search Engine

Modal algebra
Results: 105

#	Item
31	6.241J Course Notes, Chapter 12: Modal decomposition of state-space models Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2015-03-15 16:14:41 Matrix theory Matrices Singular value decomposition Eigenvalues and eigenvectors Diagonalizable matrix Modal matrix Diagonal matrix Generalized eigenvector Matrix Algebra Linear algebra Mathematics
32	High Order Finite Difference Modal Method for Diffraction Gratings Dawei Song and Ya Yan Lu Department of Mathematics, City University of Hong Kong, Kowloon, Hong Kong A new high order finite difference modal method (FDM Add to Reading List Source URL: math.cityu.edu.hk Language: English - Date: 2012-02-29 04:49:07 Mathematical physics Function Eigenvalues and eigenvectors Dirac delta function Spectral theory of ordinary differential equations Mathematics Algebra Mathematical analysis
33	Finitary S5-Theories Tran Cao Son1 , Enrico Pontelli1 , Chitta Baral2 , and Gregory Gelfond2 1 2 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2014-08-06 20:47:54 Model theory Philosophical logic Modal logic Non-classical logic Universal algebra Μ operator Epistemic modal logic Common knowledge Structure Logic Mathematical logic Mathematics
34	Million-scale Derivation of Semantic Relations from a Manually Constructed Predicate Taxonomy Motoki Sano∗ Kentaro Torisawa† Julien Kloetzer‡ Chikara Hashimoto § Istv´an Varga¶ Jong-Hoon Oh∥ ∗†‡§∥ Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:23:41 Logical consequence Algebraic logic Computational linguistics Entailment Metalogic Function Modal logic Boolean algebra Event Logic Mathematics Philosophical logic
35	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
36	Course Notes for Math 320: Fundamentals of Mathematics Chapter 1: Generalities on proofs. September 2, [removed] Add to Reading List Source URL: www.csun.edu Language: English - Date: 2005-09-02 12:25:54 Propositional calculus Semantics Boolean algebra Truth table Modal logic Negation Universal quantification Tautology Function Logic Mathematical logic Mathematics
37	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
38	Panel Moderators: Gries and Fred Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:49:16 Philosophical logic Non-classical logic Propositional calculus Boolean algebra Mathematical proof Natural deduction Modal logic Theorem Discrete mathematics Logic Mathematics Mathematical logic
39	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
40	Assembly-Free Large-Scale Modal Analysis on the GPU Praveen Yadav, Krishnan Suresh [removed] Department of Mechanical Engineering, UW-Madison, Madison, Wisconsin 53706, USA Abstract Add to Reading List Source URL: www.ersl.wisc.edu Language: English - Date: 2012-07-11 15:25:28 Linear algebra Eigenvalues and eigenvectors Conjugate gradient method Preconditioner Eigenvalue algorithm Lanczos algorithm Rayleigh quotient Iterative method Krylov subspace Algebra Numerical linear algebra Mathematics

UPDATE